import Solver from "../entity/tracedownSolver";

export function callbackTracing(solver: Solver, idx: number, ans: number[]) {}
